久久久精品国产免大香伊,欧美成人精品一区二区三区

TranslationMobile

"conditional" in Chinese : adj. 1.帶有條件的，有限制的；視…而定的。 2.【 ...
"reference" in Chinese : n. 1.(對委員、審查人等的)委托；委托項目[范圍]。 ...
"conditional external reference" in Chinese : 條件外部引用
"be conditional on" in Chinese : 在...條件下，取決于
"conditional" in Chinese : adj. 1.帶有條件的，有限制的；視…而定的。 2.【語法】條件的，假設(shè)的 ...
"conditional on" in Chinese : 有...條件
"on conditional that" in Chinese : 在…條件下
"by reference" in Chinese : 傳地址
"by-reference" in Chinese : 按引用
"for reference" in Chinese : 備案, 參考; 提交參考；以供參考; 以供參考；以資參考；作為參考資料; 作 ...
"in reference to" in Chinese : 根據(jù); 關(guān)于，就
"reference" in Chinese : n. 1.(對委員、審查人等的)委托；委托項目[范圍]。 2.說到，論到，提 ...
"reference no" in Chinese : 參考編號; 證書編號
"reference to" in Chinese : 對…的反映; 提到; 提及,參考
"with reference to" in Chinese : 關(guān)于..; 關(guān)于，根據(jù); 關(guān)于，有關(guān); 關(guān)于；有關(guān)

Abstract : for a precise dataflow analysis within the framework of the computation function model , the logical relationship of branch conditions is represented as the coverage relationship of regions . in this paper , the authors discuss how to represent , compute and propagate the region , region of the conditional reference . meanwhile , the methods of resolving the nondeterminism caused by conditional branch statements are also presented in order to get more precise dataflow information
文摘:用計算函數(shù)模型進行精確的數(shù)據(jù)流分析,條件謂詞之間的邏輯關(guān)系被轉(zhuǎn)化為空間區(qū)域之間的覆蓋關(guān)系.該文討論在各種常見的程序構(gòu)造下如何表示、計算和傳遞區(qū)域、區(qū)域，并在數(shù)據(jù)流分析過程中,利用區(qū)域、區(qū)域之間的覆蓋關(guān)系消除條件分支語句帶來的不確定性,以得到更精確的數(shù)據(jù)流信息